Système politique intégrationniste et identité culturelle

Éditorial: Informatique et politique

Developpement Et Optimisation D’une Politique De Maintenance Sous Contraintes Environnementales

De nos jours, l'industrie occupe une place particulière par l’effet de la crise mondiale de l'environnement. Il est clair que l'intérêt croissant des entreprises pour l'environnement est lié en particulier aux motifs économiques. Suite à ce constat, notre travail consiste à établir et à optimiser une politique de maintenance qui a pour objectif la protection de l'environnement industriel sous u...

Système D'Indexation et de Recherche d'Images par le Contenu

Dans cet article, nous présentons un système d’indexation et de recherche d’images par le contenu Requit. Chaque image est représentée par un arbre quaternaire et notre base d’images est stockée en une structure de données appelée arbre quaternaire générique. Ce dernier permet de minimiser l’espace de stockage par partage d’informations entre les images et facilite les opérations entre elle.

Évaluation de la fiabilité d'un système de prévision de la demande dans le cas d'une politique de regroupement des besoins

To establish production plans or replenishment plans, firms use forecasting systems. Such a system is composed of a forecasting method and a lot-sizing method. We propose a scheme to evaluate the reliability of such a system. This evaluation is based on the impact of demand randomness on the long run total cost. The scheme is illustrated with a system including an exponential smoothing techniqu...

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...